{ .x1 = 2, .x2 = REAL(FN32(0x1.b7cdfep-34), FN64(0x1.b7cdfd9d7bdbbp-34), FN80(0x1.b7cdfd9d7bdbab7ep-34), FN128(0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(0x1.79ca12p-70), FN64(0x1.79ca10c924224p-70), FN80(0x1.79ca10c9242235d6p-70), FN128(0x1.79ca10c9242235d50c1abed6d05dp-70)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.b7cdfep-34), FN64(-0x1.b7cdfd9d7bdbbp-34), FN80(-0x1.b7cdfd9d7bdbab7ep-34), FN128(-0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(0x1.79ca12p-70), FN64(0x1.79ca10c924224p-70), FN80(0x1.79ca10c9242235d6p-70), FN128(0x1.79ca10c9242235d50c1abed6d05dp-70)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.2e5d9ep-30), FN64(0x1.2e5d9e5c4527p-30), FN80(0x1.2e5d9e5c452705e6p-30), FN128(0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(0x1.652104p-63), FN64(0x1.652103de24285p-63), FN80(0x1.652103de242856ep-63), FN128(0x1.652103de242856e0d2a7e5b2c056p-63)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.2e5d9ep-30), FN64(-0x1.2e5d9e5c4527p-30), FN80(-0x1.2e5d9e5c452705e6p-30), FN128(-0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(0x1.652104p-63), FN64(0x1.652103de24285p-63), FN80(0x1.652103de242856ep-63), FN128(0x1.652103de242856e0d2a7e5b2c056p-63)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.9fc0bap-27), FN64(0x1.9fc0b9bedf15bp-27), FN80(0x1.9fc0b9bedf15a81cp-27), FN128(0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(0x1.519936p-56), FN64(0x1.519935a7fe2e3p-56), FN80(0x1.519935a7fe2e20fap-56), FN128(0x1.519935a7fe2e20fa2d43ab0e0b5cp-56)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.9fc0bap-27), FN64(-0x1.9fc0b9bedf15bp-27), FN80(-0x1.9fc0b9bedf15a81cp-27), FN128(-0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(0x1.519936p-56), FN64(0x1.519935a7fe2e3p-56), FN80(0x1.519935a7fe2e20fap-56), FN128(0x1.519935a7fe2e20fa2d43ab0e0b5cp-56)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.1dd48p-23), FN64(0x1.1dd47fb3395eep-23), FN80(0x1.1dd47fb3395ee394p-23), FN128(0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(0x1.3f22d6p-49), FN64(0x1.3f22d4b8ce471p-49), FN80(0x1.3f22d4b8ce4717a8p-49), FN128(0x1.3f22d4b8ce4717a7cb0f33c12754p-49)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.1dd48p-23), FN64(-0x1.1dd47fb3395eep-23), FN80(-0x1.1dd47fb3395ee394p-23), FN128(-0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(0x1.3f22d6p-49), FN64(0x1.3f22d4b8ce471p-49), FN80(0x1.3f22d4b8ce4717a8p-49), FN128(0x1.3f22d4b8ce4717a7cb0f33c12754p-49)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.89043p-20), FN64(0x1.89042f966ee28p-20), FN80(0x1.89042f966ee278eap-20), FN128(0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(0x1.2daeeep-42), FN64(0x1.2daeed16b2c48p-42), FN80(0x1.2daeed16b2c470eap-42), FN128(0x1.2daeed16b2c470ebc7fba26bd5afp-42)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.89043p-20), FN64(-0x1.89042f966ee28p-20), FN80(-0x1.89042f966ee278eap-20), FN128(-0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(0x1.2daeeep-42), FN64(0x1.2daeed16b2c48p-42), FN80(0x1.2daeed16b2c470eap-42), FN128(0x1.2daeed16b2c470ebc7fba26bd5afp-42)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.0e32ep-16), FN64(0x1.0e32e0b76c3bbp-16), FN80(0x1.0e32e0b76c3bb322p-16), FN128(0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(0x1.1d2f5ap-35), FN64(0x1.1d2f5c1f5abc2p-35), FN80(0x1.1d2f5c1f5abc2bbp-35), FN128(0x1.1d2f5c1f5abc2bae6948b069d4b4p-35)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.0e32ep-16), FN64(-0x1.0e32e0b76c3bbp-16), FN80(-0x1.0e32e0b76c3bb322p-16), FN128(-0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(0x1.1d2f5ap-35), FN64(0x1.1d2f5c1f5abc2p-35), FN80(0x1.1d2f5c1f5abc2bbp-35), FN128(0x1.1d2f5c1f5abc2bae6948b069d4b4p-35)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.7385f4p-13), FN64(0x1.7385f4fc34d21p-13), FN80(0x1.7385f4fc34d2164ep-13), FN128(0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(0x1.0d96c4p-28), FN64(0x1.0d96c509e88aap-28), FN80(0x1.0d96c509e88aa672p-28), FN128(0x1.0d96c509e88aa671c1b9b6bc238dp-28)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.7385f4p-13), FN64(-0x1.7385f4fc34d21p-13), FN80(-0x1.7385f4fc34d2164ep-13), FN128(-0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(0x1.0d96c4p-28), FN64(0x1.0d96c509e88aap-28), FN80(0x1.0d96c509e88aa672p-28), FN128(0x1.0d96c509e88aa671c1b9b6bc238dp-28)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.fed83p-10), FN64(0x1.fed830dac8a0ep-10), FN80(0x1.fed830dac8a0deacp-10), FN128(0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(0x1.fdb1p-22), FN64(0x1.fdb1020affa14p-22), FN80(0x1.fdb1020affa13f2ap-22), FN128(0x1.fdb1020affa13f29d9d803e0c66ap-22)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.fed83p-10), FN64(-0x1.fed830dac8a0ep-10), FN80(-0x1.fed830dac8a0deacp-10), FN128(-0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(0x1.fdb1p-22), FN64(0x1.fdb1020affa14p-22), FN80(0x1.fdb1020affa13f2ap-22), FN128(0x1.fdb1020affa13f29d9d803e0c66ap-22)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.5f34a2p-6), FN64(0x1.5f34a19669eeap-6), FN80(0x1.5f34a19669ee9916p-6), FN128(0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(0x1.e1cca6p-15), FN64(0x1.e1cca4d5b5d69p-15), FN80(0x1.e1cca4d5b5d67c96p-15), FN128(0x1.e1cca4d5b5d67c963224e3c7dc1ep-15)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.5f34a2p-6), FN64(-0x1.5f34a19669eeap-6), FN80(-0x1.5f34a19669ee9916p-6), FN128(-0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(0x1.e1cca6p-15), FN64(0x1.e1cca4d5b5d69p-15), FN80(0x1.e1cca4d5b5d67c96p-15), FN128(0x1.e1cca4d5b5d67c963224e3c7dc1ep-15)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.e2e85ep-3), FN64(0x1.e2e85e2ed1a81p-3), FN80(0x1.e2e85e2ed1a8127ep-3), FN128(0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(0x1.c55c9ep-8), FN64(0x1.c55c9dde1f658p-8), FN80(0x1.c55c9dde1f658132p-8), FN128(0x1.c55c9dde1f6581320368cff64741p-8)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.e2e85ep-3), FN64(-0x1.e2e85e2ed1a81p-3), FN80(-0x1.e2e85e2ed1a8127ep-3), FN128(-0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(0x1.c55c9ep-8), FN64(0x1.c55c9dde1f658p-8), FN80(0x1.c55c9dde1f658132p-8), FN128(0x1.c55c9dde1f6581320368cff64741p-8)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.4bffcp1), FN64(0x1.4bffc0c030239p1), FN80(0x1.4bffc0c030238cb6p1), FN128(0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(0x1.d53a9cp-2), FN64(0x1.d53a9cbb8522fp-2), FN80(0x1.d53a9cbb8522e73ap-2), FN128(0x1.d53a9cbb8522e73b631b0d59df13p-2)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.4bffcp1), FN64(-0x1.4bffc0c030239p1), FN80(-0x1.4bffc0c030238cb6p1), FN128(-0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(0x1.d53a9cp-2), FN64(0x1.d53a9cbb8522fp-2), FN80(0x1.d53a9cbb8522e73ap-2), FN128(0x1.d53a9cbb8522e73b631b0d59df13p-2)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.c87faap4), FN64(0x1.c87fa9084230ep4), FN80(0x1.c87fa9084230e17cp4), FN128(0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(0x1.120c34p-3), FN64(0x1.120c2c96bd846p-3), FN80(0x1.120c2c96bd84700cp-3), FN128(0x1.120c2c96bd8470063f06b8afcfc6p-3)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.c87faap4), FN64(-0x1.c87fa9084230ep4), FN80(-0x1.c87fa9084230e17cp4), FN128(-0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(0x1.120c34p-3), FN64(0x1.120c2c96bd846p-3), FN80(0x1.120c2c96bd84700cp-3), FN128(0x1.120c2c96bd8470063f06b8afcfc6p-3)) },
{ .x1 = 2, .x2 = REAL(FN32(0x1.39d7c4p8), FN64(0x1.39d7c435ad81ap8), FN80(0x1.39d7c435ad819b04p8), FN128(0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(-0x1.51709cp-6), FN64(-0x1.517125a739fe5p-6), FN80(-0x1.517125a739f18d6p-6), FN128(-0x1.517125a739f18f228d016f578c93p-6)) },
{ .x1 = 2, .x2 = REAL(FN32(-0x1.39d7c4p8), FN64(-0x1.39d7c435ad81ap8), FN80(-0x1.39d7c435ad819b04p8), FN128(-0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(-0x1.51709cp-6), FN64(-0x1.517125a739fe5p-6), FN80(-0x1.517125a739f18d6p-6), FN128(-0x1.517125a739f18f228d016f578c93p-6)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.b7cdfep-34), FN64(0x1.b7cdfd9d7bdbbp-34), FN80(0x1.b7cdfd9d7bdbab7ep-34), FN128(0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(0x1.b0b102p-106), FN64(0x1.b0b0ffe8fae2bp-106), FN80(0x1.b0b0ffe8fae2a086p-106), FN128(0x1.b0b0ffe8fae2a0845366f4e2a005p-106)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.b7cdfep-34), FN64(-0x1.b7cdfd9d7bdbbp-34), FN80(-0x1.b7cdfd9d7bdbab7ep-34), FN128(-0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(-0x1.b0b102p-106), FN64(-0x1.b0b0ffe8fae2bp-106), FN80(-0x1.b0b0ffe8fae2a086p-106), FN128(-0x1.b0b0ffe8fae2a0845366f4e2a005p-106)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.2e5d9ep-30), FN64(0x1.2e5d9e5c4527p-30), FN80(0x1.2e5d9e5c452705e6p-30), FN128(0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(0x1.193508p-95), FN64(0x1.193508510a0dp-95), FN80(0x1.193508510a0d091p-95), FN128(0x1.193508510a0d09107aa6cad720cep-95)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.2e5d9ep-30), FN64(-0x1.2e5d9e5c4527p-30), FN80(-0x1.2e5d9e5c452705e6p-30), FN128(-0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(-0x1.193508p-95), FN64(-0x1.193508510a0dp-95), FN80(-0x1.193508510a0d091p-95), FN128(-0x1.193508510a0d09107aa6cad720cep-95)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.9fc0bap-27), FN64(0x1.9fc0b9bedf15bp-27), FN80(0x1.9fc0b9bedf15a81cp-27), FN128(0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(0x1.6d83bp-85), FN64(0x1.6d83ae8f55d08p-85), FN80(0x1.6d83ae8f55d07098p-85), FN128(0x1.6d83ae8f55d0709926c78502ee89p-85)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.9fc0bap-27), FN64(-0x1.9fc0b9bedf15bp-27), FN80(-0x1.9fc0b9bedf15a81cp-27), FN128(-0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(-0x1.6d83bp-85), FN64(-0x1.6d83ae8f55d08p-85), FN80(-0x1.6d83ae8f55d07098p-85), FN128(-0x1.6d83ae8f55d0709926c78502ee89p-85)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.1dd48p-23), FN64(0x1.1dd47fb3395eep-23), FN80(0x1.1dd47fb3395ee394p-23), FN128(0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(0x1.db18eap-75), FN64(0x1.db18e924ceca1p-75), FN80(0x1.db18e924ceca1b84p-75), FN128(0x1.db18e924ceca1b8329912ae81bp-75)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.1dd48p-23), FN64(-0x1.1dd47fb3395eep-23), FN80(-0x1.1dd47fb3395ee394p-23), FN128(-0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(-0x1.db18eap-75), FN64(-0x1.db18e924ceca1p-75), FN80(-0x1.db18e924ceca1b84p-75), FN128(-0x1.db18e924ceca1b8329912ae81bp-75)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.89043p-20), FN64(0x1.89042f966ee28p-20), FN80(0x1.89042f966ee278eap-20), FN128(0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(0x1.34c452p-64), FN64(0x1.34c450854bb79p-64), FN80(0x1.34c450854bb77e2p-64), FN128(0x1.34c450854bb77e2244cfc7466051p-64)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.89043p-20), FN64(-0x1.89042f966ee28p-20), FN80(-0x1.89042f966ee278eap-20), FN128(-0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(-0x1.34c452p-64), FN64(-0x1.34c450854bb79p-64), FN80(-0x1.34c450854bb77e2p-64), FN128(-0x1.34c450854bb77e2244cfc7466051p-64)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.0e32ep-16), FN64(0x1.0e32e0b76c3bbp-16), FN80(0x1.0e32e0b76c3bb322p-16), FN128(0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(0x1.915628p-54), FN64(0x1.91562ba926746p-54), FN80(0x1.91562ba926746ceap-54), FN128(0x1.91562ba926746ce722fbe5306a63p-54)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.0e32ep-16), FN64(-0x1.0e32e0b76c3bbp-16), FN80(-0x1.0e32e0b76c3bb322p-16), FN128(-0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(-0x1.915628p-54), FN64(-0x1.91562ba926746p-54), FN80(-0x1.91562ba926746ceap-54), FN128(-0x1.91562ba926746ce722fbe5306a63p-54)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.7385f4p-13), FN64(0x1.7385f4fc34d21p-13), FN80(0x1.7385f4fc34d2164ep-13), FN128(0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(0x1.04d45ep-43), FN64(0x1.04d460978b20bp-43), FN80(0x1.04d460978b20bf36p-43), FN128(0x1.04d460978b20bf36c8bc2596a913p-43)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.7385f4p-13), FN64(-0x1.7385f4fc34d21p-13), FN80(-0x1.7385f4fc34d2164ep-13), FN128(-0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(-0x1.04d45ep-43), FN64(-0x1.04d460978b20bp-43), FN80(-0x1.04d460978b20bf36p-43), FN128(-0x1.04d460978b20bf36c8bc2596a913p-43)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.fed83p-10), FN64(0x1.fed830dac8a0ep-10), FN80(0x1.fed830dac8a0deacp-10), FN128(0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(0x1.530706p-33), FN64(0x1.5307075223569p-33), FN80(0x1.5307075223569476p-33), FN128(0x1.530707522356947522f596c43748p-33)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.fed83p-10), FN64(-0x1.fed830dac8a0ep-10), FN80(-0x1.fed830dac8a0deacp-10), FN128(-0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(-0x1.530706p-33), FN64(-0x1.5307075223569p-33), FN80(-0x1.5307075223569476p-33), FN128(-0x1.530707522356947522f596c43748p-33)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.5f34a2p-6), FN64(0x1.5f34a19669eeap-6), FN80(0x1.5f34a19669ee9916p-6), FN128(0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(0x1.b8a82ep-23), FN64(0x1.b8a82c3eb7e07p-23), FN80(0x1.b8a82c3eb7e05b1ap-23), FN128(0x1.b8a82c3eb7e05b1963fb2448792ap-23)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.5f34a2p-6), FN64(-0x1.5f34a19669eeap-6), FN80(-0x1.5f34a19669ee9916p-6), FN128(-0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(-0x1.b8a82ep-23), FN64(-0x1.b8a82c3eb7e07p-23), FN80(-0x1.b8a82c3eb7e05b1ap-23), FN128(-0x1.b8a82c3eb7e05b1963fb2448792ap-23)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.e2e85ep-3), FN64(0x1.e2e85e2ed1a81p-3), FN80(0x1.e2e85e2ed1a8127ep-3), FN128(0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(0x1.1d65fcp-12), FN64(0x1.1d65fc0da3ee5p-12), FN80(0x1.1d65fc0da3ee4e3cp-12), FN128(0x1.1d65fc0da3ee4e3b6bbc14ae63e3p-12)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.e2e85ep-3), FN64(-0x1.e2e85e2ed1a81p-3), FN80(-0x1.e2e85e2ed1a8127ep-3), FN128(-0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(-0x1.1d65fcp-12), FN64(-0x1.1d65fc0da3ee5p-12), FN80(-0x1.1d65fc0da3ee4e3cp-12), FN128(-0x1.1d65fc0da3ee4e3b6bbc14ae63e3p-12)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.4bffcp1), FN64(0x1.4bffc0c030239p1), FN80(0x1.4bffc0c030238cb6p1), FN128(0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(0x1.df7ab4p-3), FN64(0x1.df7ab5e51d07dp-3), FN80(0x1.df7ab5e51d07c3e6p-3), FN128(0x1.df7ab5e51d07c3e728815ef36043p-3)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.4bffcp1), FN64(-0x1.4bffc0c030239p1), FN80(-0x1.4bffc0c030238cb6p1), FN128(-0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(-0x1.df7ab4p-3), FN64(-0x1.df7ab5e51d07dp-3), FN80(-0x1.df7ab5e51d07c3e6p-3), FN128(-0x1.df7ab5e51d07c3e728815ef36043p-3)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.c87faap4), FN64(0x1.c87fa9084230ep4), FN80(0x1.c87fa9084230e17cp4), FN128(0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(-0x1.c19e8p-5), FN64(-0x1.c19ec4e83e9bap-5), FN80(-0x1.c19ec4e83e9b3738p-5), FN128(-0x1.c19ec4e83e9b37721a49aa87243fp-5)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.c87faap4), FN64(-0x1.c87fa9084230ep4), FN80(-0x1.c87fa9084230e17cp4), FN128(-0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(0x1.c19e8p-5), FN64(0x1.c19ec4e83e9bap-5), FN80(0x1.c19ec4e83e9b3738p-5), FN128(0x1.c19ec4e83e9b37721a49aa87243fp-5)) },
{ .x1 = 3, .x2 = REAL(FN32(0x1.39d7c4p8), FN64(0x1.39d7c435ad81ap8), FN80(0x1.39d7c435ad819b04p8), FN128(0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(0x1.46c5a8p-5), FN64(0x1.46c584d91fbe9p-5), FN80(0x1.46c584d91fc1ec2cp-5), FN128(0x1.46c584d91fc1ebb6eb438b4680f9p-5)) },
{ .x1 = 3, .x2 = REAL(FN32(-0x1.39d7c4p8), FN64(-0x1.39d7c435ad81ap8), FN80(-0x1.39d7c435ad819b04p8), FN128(-0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(-0x1.46c5a8p-5), FN64(-0x1.46c584d91fbe9p-5), FN80(-0x1.46c584d91fc1ec2cp-5), FN128(-0x1.46c584d91fc1ebb6eb438b4680f9p-5)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.b7cdfep-34), FN64(0x1.b7cdfd9d7bdbbp-34), FN80(0x1.b7cdfd9d7bdbab7ep-34), FN128(0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(0x1.74p-142), FN64(0x1.73add89f474d1p-142), FN80(0x1.73add89f474d0768p-142), FN128(0x1.73add89f474d0765af9c313a64d4p-142)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.b7cdfep-34), FN64(-0x1.b7cdfd9d7bdbbp-34), FN80(-0x1.b7cdfd9d7bdbab7ep-34), FN128(-0x1.b7cdfd9d7bdbab7d6ae6881cb511p-34)), .y = REAL(FN32(0x1.74p-142), FN64(0x1.73add89f474d1p-142), FN80(0x1.73add89f474d0768p-142), FN128(0x1.73add89f474d0765af9c313a64d4p-142)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.2e5d9ep-30), FN64(0x1.2e5d9e5c4527p-30), FN80(0x1.2e5d9e5c452705e6p-30), FN128(0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(0x1.4c2368p-128), FN64(0x1.4c236607b5731p-128), FN80(0x1.4c236607b573318ep-128), FN128(0x1.4c236607b573318ecaa4d7346b7cp-128)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.2e5d9ep-30), FN64(-0x1.2e5d9e5c4527p-30), FN80(-0x1.2e5d9e5c452705e6p-30), FN128(-0x1.2e5d9e5c452705e6397e7d93bc7bp-30)), .y = REAL(FN32(0x1.4c2368p-128), FN64(0x1.4c236607b5731p-128), FN80(0x1.4c236607b573318ep-128), FN128(0x1.4c236607b573318ecaa4d7346b7cp-128)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.9fc0bap-27), FN64(0x1.9fc0b9bedf15bp-27), FN80(0x1.9fc0b9bedf15a81cp-27), FN128(0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(0x1.28cdd2p-114), FN64(0x1.28cdd1f8fb81ap-114), FN80(0x1.28cdd1f8fb8183b8p-114), FN128(0x1.28cdd1f8fb8183b9d8d126485137p-114)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.9fc0bap-27), FN64(-0x1.9fc0b9bedf15bp-27), FN80(-0x1.9fc0b9bedf15a81cp-27), FN128(-0x1.9fc0b9bedf15a81c8f0decab232ap-27)), .y = REAL(FN32(0x1.28cdd2p-114), FN64(0x1.28cdd1f8fb81ap-114), FN80(0x1.28cdd1f8fb8183b8p-114), FN128(0x1.28cdd1f8fb8183b9d8d126485137p-114)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.1dd48p-23), FN64(0x1.1dd47fb3395eep-23), FN80(0x1.1dd47fb3395ee394p-23), FN128(0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(0x1.093a8ep-100), FN64(0x1.093a8c96829fap-100), FN80(0x1.093a8c96829fa6e6p-100), FN128(0x1.093a8c96829fa6e578a4e68f3e76p-100)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.1dd48p-23), FN64(-0x1.1dd47fb3395eep-23), FN80(-0x1.1dd47fb3395ee394p-23), FN128(-0x1.1dd47fb3395ee393a25992b5a82dp-23)), .y = REAL(FN32(0x1.093a8ep-100), FN64(0x1.093a8c96829fap-100), FN80(0x1.093a8c96829fa6e6p-100), FN128(0x1.093a8c96829fa6e578a4e68f3e76p-100)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.89043p-20), FN64(0x1.89042f966ee28p-20), FN80(0x1.89042f966ee278eap-20), FN128(0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(0x1.da066ep-87), FN64(0x1.da066c135eed2p-87), FN80(0x1.da066c135eecff6p-87), FN128(0x1.da066c135eecff645c5644f50b6cp-87)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.89043p-20), FN64(-0x1.89042f966ee28p-20), FN80(-0x1.89042f966ee278eap-20), FN128(-0x1.89042f966ee278eaff3b29b9c73dp-20)), .y = REAL(FN32(0x1.da066ep-87), FN64(0x1.da066c135eed2p-87), FN80(0x1.da066c135eecff6p-87), FN128(0x1.da066c135eecff645c5644f50b6cp-87)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.0e32ep-16), FN64(0x1.0e32e0b76c3bbp-16), FN80(0x1.0e32e0b76c3bb322p-16), FN128(0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(0x1.a798ap-73), FN64(0x1.a798a52be7f97p-73), FN80(0x1.a798a52be7f981d8p-73), FN128(0x1.a798a52be7f981d5c9245619827p-73)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.0e32ep-16), FN64(-0x1.0e32e0b76c3bbp-16), FN80(-0x1.0e32e0b76c3bb322p-16), FN128(-0x1.0e32e0b76c3bb3218f78acafb8fap-16)), .y = REAL(FN32(0x1.a798ap-73), FN64(0x1.a798a52be7f97p-73), FN80(0x1.a798a52be7f981d8p-73), FN128(0x1.a798a52be7f981d5c9245619827p-73)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.7385f4p-13), FN64(0x1.7385f4fc34d21p-13), FN80(0x1.7385f4fc34d2164ep-13), FN128(0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(0x1.7a884p-59), FN64(0x1.7a8843efae195p-59), FN80(0x1.7a8843efae19715p-59), FN128(0x1.7a8843efae197150720db9aaf819p-59)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.7385f4p-13), FN64(-0x1.7385f4fc34d21p-13), FN80(-0x1.7385f4fc34d2164ep-13), FN128(-0x1.7385f4fc34d2164e2545ed719e58p-13)), .y = REAL(FN32(0x1.7a884p-59), FN64(0x1.7a8843efae195p-59), FN80(0x1.7a8843efae19715p-59), FN128(0x1.7a8843efae197150720db9aaf819p-59)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.fed83p-10), FN64(0x1.fed830dac8a0ep-10), FN80(0x1.fed830dac8a0deacp-10), FN128(0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(0x1.524326p-45), FN64(0x1.524328a8d32bdp-45), FN80(0x1.524328a8d32bc56cp-45), FN128(0x1.524328a8d32bc56b8b04db62277fp-45)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.fed83p-10), FN64(-0x1.fed830dac8a0ep-10), FN80(-0x1.fed830dac8a0deacp-10), FN128(-0x1.fed830dac8a0deab7340267c39b9p-10)), .y = REAL(FN32(0x1.524326p-45), FN64(0x1.524328a8d32bdp-45), FN80(0x1.524328a8d32bc56cp-45), FN128(0x1.524328a8d32bc56b8b04db62277fp-45)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.5f34a2p-6), FN64(0x1.5f34a19669eeap-6), FN80(0x1.5f34a19669ee9916p-6), FN128(0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(0x1.2e450ap-31), FN64(0x1.2e450843b8b0ap-31), FN80(0x1.2e450843b8b08a8ep-31), FN128(0x1.2e450843b8b08a8cb1f061791895p-31)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.5f34a2p-6), FN64(-0x1.5f34a19669eeap-6), FN80(-0x1.5f34a19669ee9916p-6), FN128(-0x1.5f34a19669ee9915df3c1a7567afp-6)), .y = REAL(FN32(0x1.2e450ap-31), FN64(0x1.2e450843b8b0ap-31), FN80(0x1.2e450843b8b08a8ep-31), FN128(0x1.2e450843b8b08a8cb1f061791895p-31)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.e2e85ep-3), FN64(0x1.e2e85e2ed1a81p-3), FN80(0x1.e2e85e2ed1a8127ep-3), FN128(0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(0x1.0d5e7cp-17), FN64(0x1.0d5e7b986e0fp-17), FN80(0x1.0d5e7b986e0f07f2p-17), FN128(0x1.0d5e7b986e0f07f2277e355cee94p-17)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.e2e85ep-3), FN64(-0x1.e2e85e2ed1a81p-3), FN80(-0x1.e2e85e2ed1a8127ep-3), FN128(-0x1.e2e85e2ed1a8127e12f2a4616e91p-3)), .y = REAL(FN32(0x1.0d5e7cp-17), FN64(0x1.0d5e7b986e0fp-17), FN80(0x1.0d5e7b986e0f07f2p-17), FN128(0x1.0d5e7b986e0f07f2277e355cee94p-17)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.4bffcp1), FN64(0x1.4bffc0c030239p1), FN80(0x1.4bffc0c030238cb6p1), FN128(0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(0x1.556796p-4), FN64(0x1.556798faa66e9p-4), FN80(0x1.556798faa66e88b8p-4), FN128(0x1.556798faa66e88baaec93e717e42p-4)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.4bffcp1), FN64(-0x1.4bffc0c030239p1), FN80(-0x1.4bffc0c030238cb6p1), FN128(-0x1.4bffc0c030238cb6ad06d102fc04p1)), .y = REAL(FN32(0x1.556796p-4), FN64(0x1.556798faa66e9p-4), FN80(0x1.556798faa66e88b8p-4), FN128(0x1.556798faa66e88baaec93e717e42p-4)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.c87faap4), FN64(0x1.c87fa9084230ep4), FN80(0x1.c87fa9084230e17cp4), FN128(0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(-0x1.29af9ep-3), FN64(-0x1.29af98d0cf24bp-3), FN80(-0x1.29af98d0cf24affap-3), FN128(-0x1.29af98d0cf24aff59c537345aa23p-3)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.c87faap4), FN64(-0x1.c87fa9084230ep4), FN80(-0x1.c87fa9084230e17cp4), FN128(-0x1.c87fa9084230e17b2de95f641a85p4)), .y = REAL(FN32(-0x1.29af9ep-3), FN64(-0x1.29af98d0cf24bp-3), FN80(-0x1.29af98d0cf24affap-3), FN128(-0x1.29af98d0cf24aff59c537345aa23p-3)) },
{ .x1 = 4, .x2 = REAL(FN32(0x1.39d7c4p8), FN64(0x1.39d7c435ad81ap8), FN80(0x1.39d7c435ad819b04p8), FN128(0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(0x1.5def2ap-6), FN64(0x1.5defb2a1b85d3p-6), FN80(0x1.5defb2a1b8508afcp-6), FN128(0x1.5defb2a1b8508cb97bc382bea6cap-6)) },
{ .x1 = 4, .x2 = REAL(FN32(-0x1.39d7c4p8), FN64(-0x1.39d7c435ad81ap8), FN80(-0x1.39d7c435ad819b04p8), FN128(-0x1.39d7c435ad819b04af907194d23bp8)), .y = REAL(FN32(0x1.5def2ap-6), FN64(0x1.5defb2a1b85d3p-6), FN80(0x1.5defb2a1b8508afcp-6), FN128(0x1.5defb2a1b8508cb97bc382bea6cap-6)) },
/*
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright © 2025 Keith Packard
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above
 *    copyright notice, this list of conditions and the following
 *    disclaimer in the documentation and/or other materials provided
 *    with the distribution.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */
